Nuprl Definition : es-eq-E
0,22
postcript
pdf
e
=
e'
== eqof(1of(2of(
es
)))(
e
,
e'
)
latex
clarification:
es-eq-E(
es
;
e
;
e'
) == eqof(1of(2of(
es
)))(
e
,
e'
)
latex
Definitions
f
(
a
)
,
eqof(
d
)
,
1of(
t
)
,
2of(
t
)
FDL editor aliases
es-eq-E
origin